FDL - Nuprl Definition : state

Nuprl Definition : state_when

state_when(e) == 1of(when-after(e;info;pred?;init;Trans;val))

clarification:

state_when(e;info;pred?;init;Trans;val) == 1of(when-after(e;info;pred?;init;Trans;val))

Definitions 1of(t), when-after(e;info;pred?;init;Trans;val)

FDL editor aliases state_when

Definitions	1of(t), when-after(e;info;pred?;init;Trans;val)
FDL editor aliases	state_when